sum{-}deq{-}aux\{v:l,i:l\}($A$;$B$;$a$;$b$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$TERMOF\{sumdeq{-}property:ObjectId, v:l, i:l\}($A$,$B$,$a$,$b$)